Machine Learning for Automated Synthesis of Complex Software

Automated software vulnerability detection with machine learning

Thousands of security vulnerabilities are discovered in production software each year, either reported publicly to the Common Vulnerabilities and Exposures database or discovered internally in proprietary code. Vulnerabilities often manifest themselves in subtle ways that are not obvious to code reviewers or the developers themselves. With the wealth of open source code available for analysis, ...

Automated Verification and Synthesis of Embedded Systems using Machine Learning

The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer electronics. Their structures are becoming more and more complex and now require multi-core processors with scalable shared memory, in order to meet increasing com...

Machine Learning for Automated Reasoning

Software for AT-400N Automated Teller Machine

We developed the AT-400N automated teller machine by reconstructing embedded ATM software, which was formerly developed with a dedicated OS / dedicated language, with a general purpose OS / general purpose language. This machine has WOSA/XFS, which can insure the portability of Oki software to ATM platforms made by other manufacturers. To improve productivity and maintainability, an object orie...

Machine Learning for Software Reuse

Recent work on learning apprentice systems suggests new approaches for using interactive programming environments to promote software reuse. Methodologies for software specification and validation yield natural domains of application for explanation-based learning techniques. This paper develops a relation between data abstractions in software and explanationbased generalization problems and sh...